Mirco Tribastone: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Automatic Translation of UML Sequence Diagrams into PEPA Models

Tribastone, Mirco, Gilmore, Stephen

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

2

A unified framework for differential aggregations in Markovian process algebra

Tschaikowski, Max, Tribastone, Mirco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 581 KB

english, 2015

3

[ACM Press the 1st International Workshop - Bergamo, Italy (2015.09.01-2015.09.01)] Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015 - A proactive approach for runtime self-adaptation based on queueing network fluid analysis

Incerto, Emilio, Tribastone, Mirco, Trubiani, Catia

Year:

2015

Language:

english

File:

PDF, 725 KB

english, 2015

4

Non-functional properties in the model-driven development of service-oriented systems

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 1.62 MB

english, 2011

5

Fluid Rewards for a Stochastic Process Algebra

Tribastone, Mirco, Ding, Jie, Gilmore, Stephen, Hillston, Jane

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

6

A fluid model for layered queueing networks

Tribastone, Mirco

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 641 KB

english, 2013

7

[Lecture Notes in Computer Science] Computer Performance Engineering Volume 7587 || Towards a Volunteer Cloud Architecture

Tribastone, Mirco, Gilmore, Stephen

Year:

2013

Language:

english

File:

PDF, 176 KB

english, 2013

8

[Lecture Notes in Computer Science] Computer Performance Engineering Volume 7587 || SRN Models for Analysis of Multihop Wireless Ad Hoc Networks

Tribastone, Mirco, Gilmore, Stephen

Year:

2013

Language:

english

File:

PDF, 852 KB

english, 2013

9

[Lecture Notes in Computer Science] Computer Performance Engineering Volume 7587 ||

Tribastone, Mirco, Gilmore, Stephen

Year:

2013

Language:

english

File:

PDF, 5.57 MB

english, 2013

10

[Lecture Notes in Computer Science] Computer Performance Engineering Volume 7587 || On the (Page) Ranking of Professional Tennis Players

Tribastone, Mirco, Gilmore, Stephen

Year:

2013

Language:

english

File:

PDF, 192 KB

english, 2013

11

Exact fluid lumpability in Markovian process algebra

Tschaikowski, Max, Tribastone, Mirco

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.34 MB

english, 2014

12

Tackling continuous state-space explosion in a Markovian process algebra

Tschaikowski, Max, Tribastone, Mirco

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 829 KB

english, 2014

13

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - Generalised Communication for Interacting Agents

Tschaikowski, Max, Tribastone, Mirco

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

14

[IEEE 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - Napoli, Italy (2007.02.7-2007.02.9)] 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - An Analytical Model of a BitTorrent Peer

Barbera, Mario, Lombardo, Alfio, Schembra, Giovanni, Tribastone, Mirco

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

15

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Fluid Analysis of Queueing in Two-Stage Random Environments

Casale, Giuliano, Tribastone, Mirco

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

16

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Scalable Differential Analysis of Large Process Algebra Models

Tribastone, Mirco

Year:

2010

Language:

english

File:

PDF, 130 KB

english, 2010

17

Blending randomness in closed queueing network models

Casale, Giuliano, Tribastone, Mirco, Harrison, Peter G.

Journal:

Performance Evaluation

Year:

2014

Language:

english

File:

PDF, 715 KB

english, 2014

18

[IEEE 2012 IEEE 20th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS) - Washington, DC, USA (2012.08.7-2012.08.9)] 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - Performance Modeling of Design Patterns for Distributed Computation

Strebelow, Ronald, Tribastone, Mirco, Prehofer, Christian

Year:

2012

Language:

english

File:

PDF, 336 KB

english, 2012

19

[IEEE 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Lumpability of fluid models with heterogeneous agent types

Iacobelli, Giulio, Tribastone, Mirco

Year:

2013

Language:

english

File:

PDF, 334 KB

english, 2013

20

[IEEE Simulation of Computer and Telecommunication Systems (MASCOTS) - Singapore, Singapore (2011.07.25-2011.07.27)] 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems - Approximate Mean Value Analysis of Process Algebra Models

Tribastone, Mirco

Year:

2011

Language:

english

File:

PDF, 396 KB

english, 2011

21

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - The PEPA Plug-in Project

Tribastone, Mirco

Year:

2007

Language:

english

File:

PDF, 124 KB

english, 2007

22

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Hybrid Semantics for PEPA

Bortolussi, Luca, Galpin, Vashti, Hillston, Jane, Tribastone, Mirco

Year:

2010

Language:

english

File:

PDF, 323 KB

english, 2010

23

Fluid Performability Analysis of Nested Automata Models

Bortolussi, Luca, Hillston, Jane, Tribastone, Mirco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 317 KB

english, 2015

24

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - Behavioral relations in a process algebra for variants

Tribastone, Mirco

Year:

2014

Language:

english

File:

PDF, 764 KB

english, 2014

25

Model-based Development and Performance Analysis for Evolving Manufacturing Systems

Kowal, Matthias, Prehofer, Christian, Schaefer, Ina, Tribastone, Mirco

Journal:

at - Automatisierungstechnik

Year:

2014

Language:

english

File:

PDF, 408 KB

english, 2014

26

[ACM Press the first joint WOSP/SIPEW international conference - San Jose, California, USA (2010.01.28-2010.01.30)] Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10 - Relating layered queueing networks and process algebra models

Tribastone, Mirco

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

27

[ACM Press Proceeding of the second joint WOSP/SIPEW international conference - Karlsruhe, Germany (2011.03.14-2011.03.16)] Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11 - Modular performance modelling for mobile applications

Arijo, Niaz, Heckel, Reiko, Tribastone, Mirco, Gilmore, Stephen

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

28

[ACM Press the third joint WOSP/SIPEW international conference - Boston, Massachusetts, USA (2012.04.22-2012.04.25)] Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering - ICPE '12 - Fluid limits of queueing networks with batches

Bortolussi, Luca, Tribastone, Mirco

Year:

2012

Language:

english

File:

PDF, 855 KB

english, 2012

29

[ACM Press the 5th ACM/SPEC international conference - Dublin, Ireland (2014.03.22-2014.03.26)] Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14 - Efficient optimization of software performance models via parameter-space pruning

Tribastone, Mirco

Year:

2014

Language:

english

File:

PDF, 671 KB

english, 2014

30

Workload Change Point Detection for Run-time Thermal Management of Embedded Systems

Das, Anup, Merrett, Geoff, Tribastone, Mirco, Al-Hashimi, Bashir

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 3.34 MB

english, 2015

31

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)

Kowal, Matthias, Tschaikowski, Max, Tribastone, Mirco, Schaefer, Ina

Year:

2015

Language:

english

File:

PDF, 344 KB

english, 2015

32

[ACM Press Companion Publication for ACM/SPEC - Delft, The Netherlands (2016.03.12-2016.03.16)] Companion Publication for ACM/SPEC on International Conference on Performance Engineering - ICPE '16 Companion - DiffLQN

Waizmann, Tabea, Tribastone, Mirco

Year:

2016

Language:

english

File:

PDF, 778 KB

english, 2016

33

[ACM Press the 11th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '16 - Symbolic performance adaptation

Incerto, Emilio, Tribastone, Mirco, Trubiani, Catia

Year:

2016

Language:

english

File:

PDF, 566 KB

english, 2016

34

A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment

Tschaikowski, Max, Tribastone, Mirco

Journal:

Annals of Operations Research

Year:

2017

Language:

english

File:

PDF, 687 KB

english, 2017

35

Abstract only

Arijo, Niaz, Heckel, Reiko, Tribastone, Mirco, Gilmore, Stephen

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

36

Spatial fluid limits for stochastic mobile networks

Tschaikowski, Max, Tribastone, Mirco

Journal:

Performance Evaluation

Year:

2017

Language:

english

File:

PDF, 841 KB

english, 2017

37

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Comparing Chemical Reaction Networks

Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Year:

2016

Language:

english

File:

PDF, 775 KB

english, 2016

38

Noise Reduction in Complex Biological Switches

Cardelli, Luca, Csikász-Nagy, Attila, Dalchau, Neil, Tribastone, Mirco, Tschaikowski, Max

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 1.69 MB

english, 2016

39

Maximal aggregation of polynomial dynamical systems

Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Journal:

Proceedings of the National Academy of Sciences

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

40

Comparing chemical reaction networks: A categorical and algorithmic perspective

Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 1.42 MB

english, 2017

41

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software performance self-adaptation through efficient model predictive control

Incerto, Emilio, Tribastone, Mirco, Trubiani, Catia

Year:

2017

Language:

english

File:

PDF, 955 KB

english, 2017

42

[IEEE 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Porto, Portugal (2018.4.11-2018.4.13)] 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems

Inverso, Omar, Bemporad, Alberto, Tribastone, Mirco

Year:

2018

Language:

english

File:

PDF, 234 KB

english, 2018

43

Size expansions of mean field approximation: Transient and steady-state analysis

Gast, Nicolas, Bortolussi, Luca, Tribastone, Mirco

Journal:

Performance Evaluation

Year:

2018

File:

PDF, 1.03 MB

2018

44

[IEEE 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) - Milwaukee, WI, USA (2018.9.25-2018.9.28)] 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) - Moving Horizon Estimation of Service Demands in Queuing Networks

Incerto, Emilio, Napolitano, Annalisa, Tribastone, Mirco

Year:

2018

Language:

english

File:

PDF, 769 KB

english, 2018

45

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - FL, USA (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Backward Invariance for Linear Differential Algebraic Equations

Tognazzi, Stefano, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Year:

2018

File:

PDF, 338 KB

2018

46

[IEEE 2018 Winter Simulation Conference (WSC) - Gothenburg, Sweden (2018.12.9-2018.12.12)] 2018 Winter Simulation Conference (WSC) - SPEEDING UP STOCHASTIC AND DETERMINISTIC SIMULATION BY AGGREGATION: AN ADVANCED TUTORIAL

Tribastone, Mirco, Vandin, Andrea

Year:

2018

Language:

english

File:

PDF, 12 KB

english, 2018

47

Symbolic computation of differential equivalences

Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Journal:

Theoretical Computer Science

Year:

2019

File:

PDF, 1.32 MB

2019

48

[ACM Press the Genetic and Evolutionary Computation Conference - Berlin, Germany (2017.07.15-2017.07.19)] Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17 - EGAC

Tognazzi, Stefano, Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

Year:

2017

Language:

english

File:

PDF, 886 KB

english, 2017

49

From electric circuits to chemical networks

Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max

Journal:

Natural Computing

Year:

2019

Language:

english

File:

PDF, 1011 KB

english, 2019

50

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - PID Control of Biochemical Reaction Networks

Whitby, Max, Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca, Tribastone, Mirco, Tschaikowski, Max

Year:

2019

File:

PDF, 2.09 MB

2019